Dynamics of Declarative Goals in Agent Programming
نویسندگان
چکیده
In this paper, the notion of declarative goals as used in agent programming is central. Declarative goals describe desirable states and are updated during the execution of an agent. These goal dynamics are analyzed by distinguishing and formalizing various notions of goal dropping and goal adoption. Furthermore, possible motivations for an agent to drop or adopt goals are identified. Based on these motivations, we define specific mechanisms for implementing dropping and adoption. We show how these mechanisms are related to the general definitions of dropping
منابع مشابه
Rational agents: prioritized goals, goal dynamics, and agent programming languages with declarative goals
. In AAMAS-09 (2009) 1155–1156 [9] Khan, S.M.: Agent Programming Languages with Declarative Goals : A Survey. Technical Report CSE-2007-07, York University, Toronto, ON, Canada, http://www.cse.yorku.ca/techreports/2007/ (2007) [10] Shapiro, S., Brewka, G.: Dynamic Interactions Between Goals and Beliefs. In IJCAI-07 (2007) 2625–2630
متن کاملDeclarative & Procedural Goals in Intelligent Agent Systems1
An important concept for intelligent agent systems is goals. Goals have two aspects: declarative (a description of the state sought), and procedural (a set of plans for achieving the goal). A declarative view of goals is necessary in order to reason about important properties of goals, while a procedural view of goals is necessary to ensure that goals can be achieved efficiently in dynamic envi...
متن کاملAn Agent Program Logic with Declarative Goals
It has been argued that declarative goals provide for a natural conceptual tool for designing as well as programming agents. This has given rise to various proposals for integrating declarative goals into programming languages. It is not always clear, however, how to estahblish a precise relation to logical agent theories to reason about such agents. In this paper, we propose an agent programmi...
متن کاملLogical Foundations for a Rational BDI Agent Programming Language (Extended Version)
To provide efficiency, current BDI agent programming languages with declarative goals only support a limited form of rationality – they ignore other concurrent intentions of the agent when selecting plans, and as a consequence, the selected plans may be inconsistent with these intentions. In this paper, we develop logical foundations for a rational BDI agent programming framework with prioritiz...
متن کاملUsing Dynamic Logic Programming to Obtain Agents with Declarative Goals – preliminary report
Goals are used to define the behavior of (pro-active) agents. It is our view that the goals of an agent can be seen as a knowledge base of the situations that it wants to achieve. It is therefore in a natural way that we use Dynamic Logic Programming (DLP), an extension of AnswerSet Programming that allows for the representation of knowledge that changes with time, to represent the goals of the...
متن کامل